Eine Gruppe in der Gruppentheorie ist trivial, wenn ihre Trägermenge genau ein Element enthält. Je zwei triviale Gruppen sind isomorph, die triviale Gruppe ist also bis auf Isomorphie eindeutig bestimmt. Jede Gruppe enthält die triviale Gruppe als Untergruppe.